[next] [prev] [prev-tail] [tail] [up]

Integrals 501 to 600

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 85 89 114 178 116 108 111

N.S.

1 1.00 0.84 0.88 1.13 1.76 1.15 1.07 1.10

time (sec)

N/A 0.067 0.042 0.113 0.192 0.252 0.313 0.264 13.346

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 99 85 116 322 172 96 109

N.S.

1 1.00 0.85 0.73 0.99 2.75 1.47 0.82 0.93

time (sec)

N/A 0.049 0.043 0.090 0.272 0.255 0.305 0.269 0.058

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 89 74 104 296 156 84 99

N.S.

1 1.00 0.86 0.71 1.00 2.85 1.50 0.81 0.95

time (sec)

N/A 0.041 0.034 0.077 0.277 0.261 0.289 0.262 13.206

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 77 62 90 268 131 65 86

N.S.

1 1.00 0.83 0.67 0.97 2.88 1.41 0.70 0.92

time (sec)

N/A 0.032 0.037 0.071 0.279 0.277 0.275 0.274 0.099

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 66 58 81 254 134 56 78

N.S.

1 1.00 0.80 0.70 0.98 3.06 1.61 0.67 0.94

time (sec)

N/A 0.029 0.029 0.076 0.272 0.270 0.225 0.261 13.236

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 69 58 87 258 143 62 75

N.S.

1 1.00 0.82 0.69 1.04 3.07 1.70 0.74 0.89

time (sec)

N/A 0.026 0.039 0.074 0.277 0.262 0.206 0.283 13.198

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 69 58 87 258 139 62 74

N.S.

1 1.00 0.81 0.68 1.02 3.04 1.64 0.73 0.87

time (sec)

N/A 0.029 0.028 0.076 0.288 0.281 0.201 0.262 13.194

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 66 78 80 254 129 56 77

N.S.

1 1.00 0.84 0.99 1.01 3.22 1.63 0.71 0.97

time (sec)

N/A 0.024 0.026 0.069 0.273 0.269 0.209 0.268 13.225

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 79 65 93 268 139 68 88

N.S.

1 1.00 0.83 0.68 0.98 2.82 1.46 0.72 0.93

time (sec)

N/A 0.036 0.031 0.106 0.273 0.284 0.259 0.268 13.229

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 106 91 75 108 304 162 82 102

N.S.

1 1.00 0.86 0.71 1.02 2.87 1.53 0.77 0.96

time (sec)

N/A 0.045 0.035 0.108 0.270 0.281 0.283 0.265 13.315

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 101 87 119 330 173 93 114

N.S.

1 1.00 0.85 0.73 1.00 2.77 1.45 0.78 0.96

time (sec)

N/A 0.055 0.037 0.133 0.270 0.275 0.319 0.270 13.262

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 114 98 143 203 150 113 142

N.S.

1 1.00 0.86 0.74 1.08 1.53 1.13 0.85 1.07

time (sec)

N/A 0.096 0.021 0.155 0.191 0.272 0.470 0.270 0.115

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 101 87 132 190 138 95 132

N.S.

1 1.00 0.86 0.74 1.12 1.61 1.17 0.81 1.12

time (sec)

N/A 0.081 0.021 0.118 0.196 0.271 0.480 0.264 13.605

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 72 76 121 168 124 75 119

N.S.

1 1.00 0.66 0.70 1.11 1.54 1.14 0.69 1.09

time (sec)

N/A 0.068 0.020 0.094 0.193 0.250 0.368 0.272 13.322

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 57 59 102 102 107 55 104

N.S.

1 1.00 3.00 3.11 5.37 5.37 5.63 2.89 5.47

time (sec)

N/A 0.005 0.013 0.089 0.194 0.254 0.343 0.274 13.166

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 46 48 91 91 95 44 93

N.S.

1 1.00 1.18 1.23 2.33 2.33 2.44 1.13 2.38

time (sec)

N/A 0.019 0.013 0.085 0.181 0.253 0.322 0.284 0.043

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 35 37 80 80 83 33 81

N.S.

1 1.00 0.66 0.70 1.51 1.51 1.57 0.62 1.53

time (sec)

N/A 0.034 0.011 0.084 0.194 0.259 0.285 0.271 13.251

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 24 26 69 69 71 22 70

N.S.

1 1.00 0.71 0.76 2.03 2.03 2.09 0.65 2.06

time (sec)

N/A 0.021 0.007 0.090 0.178 0.251 0.233 0.277 13.104

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 59 59 63 14 61

N.S.

1 1.00 1.00 0.94 3.69 3.69 3.94 0.88 3.81

time (sec)

N/A 0.004 0.003 0.081 0.185 0.245 0.246 0.283 0.046

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 76 85 126 222 128 92 122

N.S.

1 1.00 0.75 0.83 1.24 2.18 1.25 0.90 1.20

time (sec)

N/A 0.070 0.037 0.131 0.191 0.254 0.358 0.267 0.186

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 116 92 98 143 251 150 115 141

N.S.

1 1.00 0.79 0.84 1.23 2.16 1.29 0.99 1.22

time (sec)

N/A 0.082 0.060 0.145 0.197 0.264 0.418 0.269 0.174

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 140 107 111 158 266 165 130 155

N.S.

1 1.00 0.76 0.79 1.13 1.90 1.18 0.93 1.11

time (sec)

N/A 0.100 0.041 0.148 0.186 0.268 0.447 0.278 13.385

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 155 122 107 159 454 218 117 153

N.S.

1 1.00 0.79 0.69 1.03 2.93 1.41 0.75 0.99

time (sec)

N/A 0.071 0.041 0.114 0.267 0.265 0.483 0.288 0.094

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 142 111 96 148 428 204 106 143

N.S.

1 1.00 0.78 0.68 1.04 3.01 1.44 0.75 1.01

time (sec)

N/A 0.063 0.039 0.101 0.271 0.276 0.461 0.350 13.548

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 131 100 84 134 400 178 87 130

N.S.

1 1.00 0.76 0.64 1.02 3.05 1.36 0.66 0.99

time (sec)

N/A 0.051 0.035 0.101 0.271 0.258 0.440 0.297 0.145

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 88 80 125 386 182 78 122

N.S.

1 1.00 0.73 0.66 1.03 3.19 1.50 0.64 1.01

time (sec)

N/A 0.046 0.034 0.115 0.268 0.266 0.348 0.272 14.064

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 122 91 80 131 390 194 84 119

N.S.

1 1.00 0.75 0.66 1.07 3.20 1.59 0.69 0.98

time (sec)

N/A 0.046 0.043 0.109 0.274 0.272 0.334 0.271 14.021

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 123 91 78 133 390 196 84 117

N.S.

1 1.00 0.74 0.63 1.08 3.17 1.59 0.68 0.95

time (sec)

N/A 0.050 0.039 0.111 0.271 0.275 0.297 0.287 13.884

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 91 78 133 390 196 84 116

N.S.

1 1.00 0.73 0.63 1.07 3.15 1.58 0.68 0.94

time (sec)

N/A 0.049 0.034 0.104 0.270 0.271 0.297 0.275 13.998

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 125 91 80 131 390 190 84 118

N.S.

1 1.00 0.73 0.64 1.05 3.12 1.52 0.67 0.94

time (sec)

N/A 0.047 0.036 0.106 0.276 0.266 0.277 0.280 14.036

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 89 120 124 386 177 78 121

N.S.

1 1.00 0.79 1.06 1.10 3.42 1.57 0.69 1.07

time (sec)

N/A 0.043 0.031 0.096 0.271 0.260 0.292 0.292 13.142

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 101 87 137 400 187 90 132

N.S.

1 1.00 0.76 0.65 1.03 3.01 1.41 0.68 0.99

time (sec)

N/A 0.059 0.037 0.154 0.270 0.264 0.362 0.300 13.189

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 113 97 152 436 209 104 146

N.S.

1 1.00 0.78 0.67 1.06 3.03 1.45 0.72 1.01

time (sec)

N/A 0.067 0.047 0.148 0.275 0.266 0.415 0.321 13.606

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 123 109 163 462 221 115 158

N.S.

1 1.00 0.78 0.69 1.04 2.94 1.41 0.73 1.01

time (sec)

N/A 0.080 0.042 0.164 0.270 0.273 0.450 0.299 13.810

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 16 16 15 19 12 15 16

N.S.

1 1.00 0.84 0.84 0.79 1.00 0.63 0.79 0.84

time (sec)

N/A 0.002 0.008 0.044 0.264 0.249 0.049 0.267 13.559

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 10 9 9 8 9 11

N.S.

1 1.00 1.00 0.91 0.82 0.82 0.73 0.82 1.00

time (sec)

N/A 0.001 0.002 0.021 0.190 0.249 0.032 0.274 0.018

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 16 15 21 12 15 17

N.S.

1 1.00 1.00 0.84 0.79 1.11 0.63 0.79 0.89

time (sec)

N/A 0.004 0.007 0.041 0.263 0.261 0.044 0.276 0.026

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 18 19 18 23 15 18 18

N.S.

1 1.00 0.82 0.86 0.82 1.05 0.68 0.82 0.82

time (sec)

N/A 0.007 0.008 0.029 0.197 0.247 0.034 0.282 0.031

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 11 10 9 9 8 9 11

N.S.

1 1.00 0.85 0.77 0.69 0.69 0.62 0.69 0.85

time (sec)

N/A 0.002 0.002 0.026 0.178 0.250 0.029 0.273 0.045

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 20 19 18 23 14 19 18

N.S.

1 1.00 0.83 0.79 0.75 0.96 0.58 0.79 0.75

time (sec)

N/A 0.010 0.005 0.034 0.185 0.266 0.033 0.273 13.451

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

79 79 91 24 13 13 0 29 71

N.S.

1 1.00 1.15 0.30 0.16 0.16 0.00 0.37 0.90

time (sec)

N/A 0.042 0.389 0.122 0.186 0.252 0.000 0.265 13.319

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

67 67 39 24 13 13 0 23 59

N.S.

1 1.00 0.58 0.36 0.19 0.19 0.00 0.34 0.88

time (sec)

N/A 0.035 1.014 0.078 0.185 0.261 0.000 0.306 13.500

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

36 36 88 23 14 13 0 22 33

N.S.

1 1.00 2.44 0.64 0.39 0.36 0.00 0.61 0.92

time (sec)

N/A 0.017 0.414 0.072 0.180 0.258 0.000 0.275 13.724

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

75 75 454 26 14 11 0 30 109

N.S.

1 1.00 6.05 0.35 0.19 0.15 0.00 0.40 1.45

time (sec)

N/A 0.014 0.970 0.084 0.186 0.259 0.000 0.277 13.809

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

75 75 178 28 14 17 0 45 112

N.S.

1 1.00 2.37 0.37 0.19 0.23 0.00 0.60 1.49

time (sec)

N/A 0.015 0.450 0.072 0.191 0.259 0.000 0.284 13.739

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

39 39 37 22 13 13 0 30 33

N.S.

1 1.00 0.95 0.56 0.33 0.33 0.00 0.77 0.85

time (sec)

N/A 0.024 1.010 0.054 0.182 0.261 0.000 0.279 13.140

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

72 72 39 24 15 15 0 31 35

N.S.

1 1.00 0.54 0.33 0.21 0.21 0.00 0.43 0.49

time (sec)

N/A 0.010 1.006 0.056 0.186 0.263 0.000 0.296 13.395

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

79 79 39 24 15 15 0 31 35

N.S.

1 1.00 0.49 0.30 0.19 0.19 0.00 0.39 0.44

time (sec)

N/A 0.041 1.010 0.059 0.186 0.270 0.000 0.315 13.268

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-1) A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

79 79 39 24 15 15 0 31 35

N.S.

1 1.00 0.49 0.30 0.19 0.19 0.00 0.39 0.44

time (sec)

N/A 0.039 1.011 0.061 0.186 0.246 0.000 0.276 13.254

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 39 36 13 13 0 29 0

N.S.

1 1.00 0.49 0.46 0.16 0.16 0.00 0.37 0.00

time (sec)

N/A 0.016 1.009 1.606 0.183 0.262 0.000 0.280 0.000

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 39 36 13 13 0 29 0

N.S.

1 1.00 0.49 0.46 0.16 0.16 0.00 0.37 0.00

time (sec)

N/A 0.015 1.008 0.757 0.192 0.241 0.000 0.265 0.000

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 36 33 10 10 0 20 0

N.S.

1 1.00 0.49 0.45 0.14 0.14 0.00 0.27 0.00

time (sec)

N/A 0.008 0.005 0.395 0.184 0.254 0.000 0.276 0.000

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 35 34 10 13 0 26 0

N.S.

1 1.00 0.49 0.47 0.14 0.18 0.00 0.36 0.00

time (sec)

N/A 0.014 1.007 0.699 0.186 0.261 0.000 0.301 0.000

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 37 34 13 13 0 30 33

N.S.

1 1.00 0.48 0.44 0.17 0.17 0.00 0.39 0.43

time (sec)

N/A 0.014 1.008 1.197 0.179 0.259 0.000 0.292 13.219

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 39 35 15 15 0 31 35

N.S.

1 1.00 0.49 0.44 0.19 0.19 0.00 0.39 0.44

time (sec)

N/A 0.016 1.007 1.926 0.189 0.252 0.000 0.278 13.205

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 39 35 15 15 0 31 35

N.S.

1 1.00 0.49 0.44 0.19 0.19 0.00 0.39 0.44

time (sec)

N/A 0.015 1.007 2.698 0.187 0.269 0.000 0.266 13.166

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 39 35 15 15 0 31 35

N.S.

1 1.00 0.49 0.44 0.19 0.19 0.00 0.39 0.44

time (sec)

N/A 0.015 1.010 3.930 0.191 0.271 0.000 0.277 13.128

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

167 167 113 46 35 35 0 67 0

N.S.

1 1.00 0.68 0.28 0.21 0.21 0.00 0.40 0.00

time (sec)

N/A 0.075 0.605 0.112 0.187 0.284 0.000 0.280 0.000

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

167 167 113 46 35 35 0 67 0

N.S.

1 1.00 0.68 0.28 0.21 0.21 0.00 0.40 0.00

time (sec)

N/A 0.073 0.559 0.106 0.196 0.283 0.000 0.267 0.000

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

106 119 113 46 35 35 0 67 0

N.S.

1 1.12 1.07 0.43 0.33 0.33 0.00 0.63 0.00

time (sec)

N/A 0.056 0.499 0.110 0.186 0.260 0.000 0.285 0.000

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

67 67 113 46 35 35 0 45 46

N.S.

1 1.00 1.69 0.69 0.52 0.52 0.00 0.67 0.69

time (sec)

N/A 0.034 0.441 0.091 0.186 0.280 0.000 0.264 13.164

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 27 24 35 35 0 44 36

N.S.

1 1.00 0.75 0.67 0.97 0.97 0.00 1.22 1.00

time (sec)

N/A 0.018 0.010 0.089 0.199 0.289 0.000 0.277 13.351

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-1) A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

163 163 60 47 0 33 0 68 0

N.S.

1 1.00 0.37 0.29 0.00 0.20 0.00 0.42 0.00

time (sec)

N/A 0.031 1.018 0.074 0.000 0.260 0.000 0.272 0.000

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

164 164 62 48 34 38 0 87 0

N.S.

1 1.00 0.38 0.29 0.21 0.23 0.00 0.53 0.00

time (sec)

N/A 0.034 1.021 0.091 0.203 0.273 0.000 0.297 0.000

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

164 164 612 48 34 39 0 87 0

N.S.

1 1.00 3.73 0.29 0.21 0.24 0.00 0.53 0.00

time (sec)

N/A 0.031 0.806 0.077 0.197 0.264 0.000 0.302 0.000

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

163 163 266 50 33 39 0 87 0

N.S.

1 1.00 1.63 0.31 0.20 0.24 0.00 0.53 0.00

time (sec)

N/A 0.031 0.311 0.085 0.200 0.269 0.000 0.277 0.000

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F B B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

41 41 59 41 35 35 0 68 151

N.S.

1 1.00 1.44 1.00 0.85 0.85 0.00 1.66 3.68

time (sec)

N/A 0.026 1.015 0.073 0.195 0.257 0.000 0.277 13.293

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

72 72 61 44 35 37 0 69 151

N.S.

1 1.00 0.85 0.61 0.49 0.51 0.00 0.96 2.10

time (sec)

N/A 0.010 1.012 0.071 0.197 0.267 0.000 0.270 13.209

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

167 167 61 44 35 37 0 69 151

N.S.

1 1.00 0.37 0.26 0.21 0.22 0.00 0.41 0.90

time (sec)

N/A 0.069 1.017 0.082 0.208 0.261 0.000 0.270 13.204

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

167 167 61 46 35 37 0 69 151

N.S.

1 1.00 0.37 0.28 0.21 0.22 0.00 0.41 0.90

time (sec)

N/A 0.072 1.017 0.084 0.206 0.265 0.000 0.273 13.236

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

167 167 61 44 35 37 0 69 151

N.S.

1 1.00 0.37 0.26 0.21 0.22 0.00 0.41 0.90

time (sec)

N/A 0.072 1.016 0.080 0.193 0.256 0.000 0.295 13.296

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 61 58 35 35 0 67 0

N.S.

1 1.00 0.37 0.35 0.21 0.21 0.00 0.40 0.00

time (sec)

N/A 0.028 1.016 2.693 0.198 0.262 0.000 0.295 0.000

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 61 58 35 35 0 67 0

N.S.

1 1.00 0.37 0.35 0.21 0.21 0.00 0.40 0.00

time (sec)

N/A 0.029 1.011 1.928 0.200 0.258 0.000 0.284 0.000

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 61 58 35 35 0 67 0

N.S.

1 1.00 0.37 0.35 0.21 0.21 0.00 0.40 0.00

time (sec)

N/A 0.028 1.013 1.191 0.198 0.250 0.000 0.278 0.000

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 61 58 35 35 0 67 0

N.S.

1 1.00 0.37 0.35 0.21 0.21 0.00 0.40 0.00

time (sec)

N/A 0.028 1.008 0.759 0.193 0.245 0.000 0.277 0.000

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 159 59 56 31 31 0 63 0

N.S.

1 1.00 0.37 0.35 0.19 0.19 0.00 0.40 0.00

time (sec)

N/A 0.022 1.010 0.391 0.195 0.253 0.000 0.275 0.000

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 158 60 58 32 36 0 64 0

N.S.

1 1.00 0.38 0.37 0.20 0.23 0.00 0.41 0.00

time (sec)

N/A 0.026 1.013 0.701 0.189 0.252 0.000 0.281 0.000

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 161 59 56 33 36 0 67 0

N.S.

1 1.00 0.37 0.35 0.20 0.22 0.00 0.42 0.00

time (sec)

N/A 0.026 1.012 1.166 0.206 0.258 0.000 0.276 0.000

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 158 59 56 32 37 0 66 0

N.S.

1 1.00 0.37 0.35 0.20 0.23 0.00 0.42 0.00

time (sec)

N/A 0.027 1.011 1.900 0.205 0.242 0.000 0.288 0.000

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 163 61 57 35 37 0 69 151

N.S.

1 1.00 0.37 0.35 0.21 0.23 0.00 0.42 0.93

time (sec)

N/A 0.027 1.011 2.668 0.202 0.262 0.000 0.277 13.309

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 61 57 35 37 0 69 151

N.S.

1 1.00 0.37 0.34 0.21 0.22 0.00 0.41 0.90

time (sec)

N/A 0.027 1.011 3.839 0.201 0.241 0.000 0.270 13.245

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 61 57 35 37 0 69 151

N.S.

1 1.00 0.37 0.34 0.21 0.22 0.00 0.41 0.90

time (sec)

N/A 0.029 1.014 5.473 0.198 0.244 0.000 0.274 13.115

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 61 57 35 37 0 69 151

N.S.

1 1.00 0.37 0.34 0.21 0.22 0.00 0.41 0.90

time (sec)

N/A 0.029 1.010 7.285 0.202 0.245 0.000 0.270 13.157

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 61 57 35 37 0 69 151

N.S.

1 1.00 0.37 0.34 0.21 0.22 0.00 0.41 0.90

time (sec)

N/A 0.029 1.012 9.646 0.211 0.250 0.000 0.308 13.469

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

255 255 135 66 57 57 0 105 0

N.S.

1 1.00 0.53 0.26 0.22 0.22 0.00 0.41 0.00

time (sec)

N/A 0.107 0.991 0.373 0.208 0.246 0.000 0.295 0.000

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

255 255 135 66 57 57 0 105 0

N.S.

1 1.00 0.53 0.26 0.22 0.22 0.00 0.41 0.00

time (sec)

N/A 0.120 0.903 0.250 0.193 0.254 0.000 0.275 0.000

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

201 201 135 68 57 57 0 105 0

N.S.

1 1.00 0.67 0.34 0.28 0.28 0.00 0.52 0.00

time (sec)

N/A 0.098 0.827 0.205 0.190 0.244 0.000 0.277 0.000

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

160 160 135 66 57 57 0 105 0

N.S.

1 1.00 0.84 0.41 0.36 0.36 0.00 0.66 0.00

time (sec)

N/A 0.096 0.758 0.148 0.194 0.247 0.000 0.271 0.000

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

119 119 135 66 56 56 0 104 0

N.S.

1 1.00 1.13 0.55 0.47 0.47 0.00 0.87 0.00

time (sec)

N/A 0.068 0.745 0.126 0.206 0.251 0.000 0.298 0.000

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

67 67 135 66 56 56 0 67 0

N.S.

1 1.00 2.01 0.99 0.84 0.84 0.00 1.00 0.00

time (sec)

N/A 0.037 0.661 0.100 0.189 0.239 0.000 0.281 0.000

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 27 24 57 57 0 66 36

N.S.

1 1.00 0.75 0.67 1.58 1.58 0.00 1.83 1.00

time (sec)

N/A 0.022 0.012 0.096 0.194 0.244 0.000 0.275 13.395

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

251 251 82 69 55 55 0 106 0

N.S.

1 1.00 0.33 0.27 0.22 0.22 0.00 0.42 0.00

time (sec)

N/A 0.048 1.016 0.079 0.196 0.244 0.000 0.272 0.000

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

250 250 85 70 56 61 0 125 0

N.S.

1 1.00 0.34 0.28 0.22 0.24 0.00 0.50 0.00

time (sec)

N/A 0.051 1.021 0.097 0.199 0.254 0.000 0.271 0.000

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

250 250 276 70 56 61 0 127 0

N.S.

1 1.00 1.10 0.28 0.22 0.24 0.00 0.51 0.00

time (sec)

N/A 0.051 0.828 0.099 0.190 0.248 0.000 0.296 0.000

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

250 250 279 70 56 61 0 128 0

N.S.

1 1.00 1.12 0.28 0.22 0.24 0.00 0.51 0.00

time (sec)

N/A 0.051 0.681 0.135 0.205 0.251 0.000 0.271 0.000

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

250 250 696 70 56 61 0 126 0

N.S.

1 1.00 2.78 0.28 0.22 0.24 0.00 0.50 0.00

time (sec)

N/A 0.047 0.984 0.150 0.200 0.261 0.000 0.280 0.000

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

251 251 268 70 55 61 0 125 0

N.S.

1 1.00 1.07 0.28 0.22 0.24 0.00 0.50 0.00

time (sec)

N/A 0.045 0.491 0.196 0.202 0.248 0.000 0.264 0.000

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B B F B B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

41 41 81 58 57 57 0 106 231

N.S.

1 1.00 1.98 1.41 1.39 1.39 0.00 2.59 5.63

time (sec)

N/A 0.027 1.015 0.299 0.198 0.247 0.000 0.265 13.146

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

72 72 83 68 57 59 0 107 231

N.S.

1 1.00 1.15 0.94 0.79 0.82 0.00 1.49 3.21

time (sec)

N/A 0.011 1.018 0.468 0.199 0.261 0.000 0.280 13.239

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

128 128 83 66 57 59 0 107 231

N.S.

1 1.00 0.65 0.52 0.45 0.46 0.00 0.84 1.80

time (sec)

N/A 0.062 1.019 0.735 0.195 0.248 0.000 0.265 13.604

[next] [prev] [prev-tail] [front] [up]